Skip to content

PR: Add a manager and new message to check and inform if updates are available on GitHub#19

Merged
jnsebgosselin merged 27 commits into
masterfrom
add_updates_manager
Aug 13, 2023
Merged

PR: Add a manager and new message to check and inform if updates are available on GitHub#19
jnsebgosselin merged 27 commits into
masterfrom
add_updates_manager

Conversation

@jnsebgosselin
Copy link
Copy Markdown
Member

@jnsebgosselin jnsebgosselin commented Aug 12, 2023

  • Added a new manager that fetch available released from GitHub and show a message to the user if a new update is available.
  • Also added a new action that allow to check if there is a new release available.

image

image

image

@jnsebgosselin jnsebgosselin changed the title Add a manager to check if updates are available on GitHub PR: Add a manager to check if updates are available on GitHub Aug 12, 2023
@jnsebgosselin jnsebgosselin self-assigned this Aug 13, 2023
@jnsebgosselin jnsebgosselin changed the title PR: Add a manager to check if updates are available on GitHub PR: Add a manager and new message to check if updates are available on GitHub Aug 13, 2023
@jnsebgosselin jnsebgosselin changed the title PR: Add a manager and new message to check if updates are available on GitHub PR: Add a manager and new message to check and inform if updates are available on GitHub Aug 13, 2023
@jnsebgosselin jnsebgosselin merged commit 0f21403 into master Aug 13, 2023
@jnsebgosselin jnsebgosselin deleted the add_updates_manager branch August 13, 2023 14:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant